<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
<html>
	<head>
		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
		<title>Coverage</title>
	</head>
	<frameset cols="20%,*">
		<frameset rows="30%,*">
			<frame name="menuPane" src="menu.html" scrolling="yes"/>
			<frame name="listPane" src="all-classes.html" scrolling="yes"/>
		</frameset>
		<frame name="mainPane" src="overview.html" scrolling="yes"/>
		<noframes>
		  <body>
		    <p>
			  This document is designed to be viewed using the frames feature. If you see 
			  this message, you are using a non-frame-capable web client.
			  <br/>
			  Link to <a href="overview.html">Non-frame version.</a>
			  </p>
			</body>
		</noframes>
	</frameset>
</html>
